161. Introduction to programming logic and techniques: knowledge bank
پدیدآورنده:
کتابخانه: كتابخانه مركزی كانون اسلامی انصار (تهران)
موضوع:
رده :
005
.
15
999
I
162. Introduction to programming logic and techniques: student guide
پدیدآورنده:
کتابخانه: كتابخانه مركزی كانون اسلامی انصار (تهران)
موضوع:
رده :
005
.
1
999
I
163. Just enough programming logic and design /
پدیدآورنده: Joyce Farrell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Logic programming.
رده :
QA76
.
63
.
F367
2013
164. Just enough programming logic and design
پدیدآورنده: / Joyce Farrell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming.
رده :
QA
,
76
.
63
,.
F367
,
2010
165. LATEST ADVANCES IN INDUCTIVE LOGIC PROGRAMMING
پدیدآورنده: / WATANABE HIROAKI&MUGGLETON STEPHEN
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
166. LISP, lore, and logic : an algebraic view of LISP programming, foundations, and applications
پدیدآورنده: W. Richard Stark,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: LISP )Computer program language(
رده :
QA
.
L23S72
76
.
73
1990
167. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده: Edited by M. A. Gavrilov and A. D. Zakrevskii. Translated by Morton Nadler
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages )Electronic computers(,Computer algorithms,Switching theory
رده :
QA
.
L613
76
.
5
168. LYaPAS: a programming language for logic and coding algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Computer algorithms,، Switching theory
رده :
QA
76
.
5
.
L6313
169. Latest advances in inductive logic programming /
پدیدآورنده: Stephen Muggleton, Imperial College London, UK, Hiroaki Watanabe, Imperial College London, UK
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Induction (Logic),Logic programming,Machine learning
رده :
QA76
.
63
.
M84
2014
170. Logic-Based 0-1 Constraint Programming /
پدیدآورنده: by Peter Barth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Economics.,Mathematical optimization.,Artificial intelligence.,Economics.,Mathematical optimization.
رده :
HD30
.
23
171. Logic Programming '87 :
پدیدآورنده: edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.
رده :
QA76
.
6
E358
1988
172. Logic Programming :
پدیدآورنده: by Isaac Balbin, Koenraad Lecot.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
6
B957
1985
173. Logic Programming '89 :
پدیدآورنده: edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Translators (Computer programs)
رده :
QA76
.
63
E358
1991
174. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
پدیدآورنده: / Marcello Balduccini, Tran Cao Son
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
175. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
پدیدآورنده: / Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
176. Logic Programming'85 : Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985
پدیدآورنده: edited by Eiiti Wada
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
221
177. Logic Programming and Databases
پدیدآورنده: by Stefano Ceri, Georg Gottlob, Letizia Tanca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
63
B978
1990
178. Logic Programming and Knowledge Representation.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
179. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده: \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
180. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده: edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
